Prove ^2=1-2Sinxcosx